（来源：上观新闻）
毛丞宇还记得，⚒2013年春节🧟♀️🥀刚过，其和👗🇵🇸黄晓煌（🚿❔联合创始人、🔁🇺🇬董事长）、👨👧👧🧹陈航（联合4️⃣创始人、CEO👨🎤🚫）、朱皓🐰📼（联合创◾🇳🇬始人、CTO）在📼他们最早借来👷的办公室见⚠🇲🇷面🕐🙋♂️。行业也🤲🦚正在从单纯销🚆🐗售机器人产品，📙转向为客户交付实👩🔬🕘际作业☢结果👰🐚。
研究团队认为😨📷，随着形式化方🀄法的不断进步，🇲🇦🇱🇦形式化验证的下一🈹🤛天天干天天弄个“圣杯”是贯穿🇧🇮🇨🇵软硬件全栈的端🏠天天干天天弄到端保证🛀。作为较早接触G😝🆓PU研发📤的技术人🚸员，黄晓煌深🇹🇿🇸🇷知GP💧U的通用计算价⌛🈳值🚕。
